大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Beijing PCST Working Symposium (2005) 的图书(共4642本)

Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

0
索取号：
作者：Bravetti、 Mario.、Kloul、 Le茂la.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I

0
索取号：
作者：Huang、 De-Shuang.、Zhang、 Xiao-Ping.、Huang、 Guang-Bin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Web Intelligence [electronic resource] : Third International Atlantic Web Intelligence Conference, AWIC 2005, Lodz, Poland, June 6-9, 2005. Proceedings

0
索取号：
作者：Szczepaniak、 Piotr S.、Kacprzyk、 Janusz.、Niewiadomski、 Adam.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model Checking Software [electronic resource] : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

0
索取号：
作者：Godefroid、 Patrice.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Hybrid Metaheuristics [electronic resource] : Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings

0
索取号：
作者：Blesa、 Mar铆a J.、Blum、 Christian.、Roli、 Andrea.、Sampels、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Science Logic [electronic resource] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

0
索取号：
作者：Ong、 Luke.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Databases and Information Systems [electronic resource] : 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005. Proceedings

0
索取号：
作者：Eder、 Johann.、Haav、 Hele-Mai.、Kalja、 Ahto.、Penjam、 Jaan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Innovations in Applied Artificial Intelligence [electronic resource] : 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings

0
索取号：
作者：Ali、 Moonis.、Esposito、 Floriana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Learning Theory [electronic resource] : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings

0
索取号：
作者：Auer、 Peter.、Meir、 Ron.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005. Proceedings

0
索取号：
作者：Perner、 Petra.、Imiya、 Atsushi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Modeling and Using Context [electronic resource] : 5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings

0
索取号：
作者：Dey、 Anind.、Kokinov、 Boicho.、Leake、 David.、Turner、 Roy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings

0
索取号：
作者：Godo、 Llu铆s.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Conceptual Structures: Common Semantics for Sharing Knowledge [electronic resource] : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings

0
索取号：
作者：Dau、 Frithjof.、Mugnier、 Marie-Laure.、Stumme、 Gerd.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Artificial Intelligence in Medicine [electronic resource] : 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005. Proceedings

0
索取号：
作者：Miksch、 Silvia.、Hunter、 Jim.、Keravnou、 Elpida T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Modeling Decisions for Artificial Intelligence [electronic resource] : Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings

0
索取号：
作者：Torra、 Vicen莽.、Narukawa、 Yasuo.、Miyamoto、 Sadaaki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

0
索取号：
作者：Zucker、 Jean-Daniel.、Saitta、 Lorenza.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.